Avionics software

Results: 266



#Item
31AIRLINE & AEROSPACE MRO & FLIGHT OPERATIONS IT CONFERENCE 10th & 11th June 2015 – Park Inn Hotel, London Heathrow, UK AIRLINE AND AIRCRAFT OPERATORS DELEGATE INFORMATION Vendors exhibiting their software include:

AIRLINE & AEROSPACE MRO & FLIGHT OPERATIONS IT CONFERENCE 10th & 11th June 2015 – Park Inn Hotel, London Heathrow, UK AIRLINE AND AIRCRAFT OPERATORS DELEGATE INFORMATION Vendors exhibiting their software include:

Add to Reading List

Source URL: www.aircraft-commerce.com

Language: English - Date: 2015-05-29 14:03:49
32AIRLINE & AEROSPACE MRO & FLIGHT OPERATIONS IT CONFERENCE 10th & 11th June 2015 – Park Inn Hotel, London Heathrow, UK DELEGATE INFORMATION Vendors exhibiting their software include:

AIRLINE & AEROSPACE MRO & FLIGHT OPERATIONS IT CONFERENCE 10th & 11th June 2015 – Park Inn Hotel, London Heathrow, UK DELEGATE INFORMATION Vendors exhibiting their software include:

Add to Reading List

Source URL: www.aircraft-commerce.com

Language: English - Date: 2015-05-29 14:04:51
33Testwell CTC++: Code Coverage Analysis for safety-critical Embedded Systems by Professor Dr. Daniel Fischer (University of Applied Sciences Offenburg, Germany) Software for embedded systems is often used in safety-critic

Testwell CTC++: Code Coverage Analysis for safety-critical Embedded Systems by Professor Dr. Daniel Fischer (University of Applied Sciences Offenburg, Germany) Software for embedded systems is often used in safety-critic

Add to Reading List

Source URL: www.verifysoft.com

Language: English - Date: 2013-09-27 11:06:04
34Revision of DOE-STD, Integration of Safety into the Design Process Pranab Guha, AU-31 Office of Nuclear Safety Basis & Facility Design October 2014

Revision of DOE-STD, Integration of Safety into the Design Process Pranab Guha, AU-31 Office of Nuclear Safety Basis & Facility Design October 2014

Add to Reading List

Source URL: www.efcog.org

Language: English - Date: 2015-01-24 18:31:45
35Model-Based Testing for the Second Generation of Integrated Modular Avionics Christof Efkemann, Jan Peleska Department of Computer Science and Mathematics University of Bremen Bremen, Germany Email: {chref, jp}@tzi.de

Model-Based Testing for the Second Generation of Integrated Modular Avionics Christof Efkemann, Jan Peleska Department of Computer Science and Mathematics University of Bremen Bremen, Germany Email: {chref, jp}@tzi.de

Add to Reading List

Source URL: www.informatik.uni-bremen.de

Language: English - Date: 2011-09-19 11:43:38
36DO-178B and McCabe IQ Table of Contents Executive Summary ___________________________________________________________ 3 Part 1: Introduction ___________________________________________________________ 4 Software Qualit

DO-178B and McCabe IQ Table of Contents Executive Summary ___________________________________________________________ 3 Part 1: Introduction ___________________________________________________________ 4 Software Qualit

Add to Reading List

Source URL: www.mccabe.com

Language: English - Date: 2014-02-25 09:52:58
37Formal Verification in Aeronautics: Current Practice and Upcoming Standard Yannick Moy, AdaCore ACSL Workshop, Fraunhofer FIRST

Formal Verification in Aeronautics: Current Practice and Upcoming Standard Yannick Moy, AdaCore ACSL Workshop, Fraunhofer FIRST

Add to Reading List

Source URL: frama-c.com

Language: English - Date: 2013-09-24 04:53:57
38Embedded Systems Conference April 3-7, San Jose [ESC-447] Safety-Critical Design Techniques for Secure and Reliable Systems Robert B. K. Dewar AdaCore

Embedded Systems Conference April 3-7, San Jose [ESC-447] Safety-Critical Design Techniques for Secure and Reliable Systems Robert B. K. Dewar AdaCore

Add to Reading List

Source URL: www.adacore.com

Language: English - Date: 2011-12-15 14:00:58
39Astrée Proving the Absence of Runtime Errors AbsInt GmbH 2012

Astrée Proving the Absence of Runtime Errors AbsInt GmbH 2012

Add to Reading List

Source URL: www.absint.com

Language: English - Date: 2012-04-23 04:44:53
40Year Anniversary Logo

Year Anniversary Logo

Add to Reading List

Source URL: www.aim-online.com

Language: English - Date: 2014-06-23 08:19:19